automatic theorem proving - Inglés Sinónimo Diccionario